1

Key notions of Tarski's methodology of deductive systems

Year:
1985
Language:
english
File:
PDF, 2.15 MB
english, 1985
3

John F. Horthy,Agency and Deontic Logic.

Year:
2003
Language:
english
File:
PDF, 102 KB
english, 2003
5

Logics based on partial Boolean σ-algebras

Year:
1975
Language:
english
File:
PDF, 856 KB
english, 1975
6

Relative principal congruences in congruence-modular quasivarieties

Year:
1998
Language:
english
File:
PDF, 216 KB
english, 1998
7

General Theory of the Commutator for Deductive Systems. Part I. Basic Facts

Year:
2006
Language:
english
File:
PDF, 3.06 MB
english, 2006
8

Weakly Algebraizable Logics

Year:
2000
Language:
english
File:
PDF, 540 KB
english, 2000
9

Algebraic Methods in Philosophical Logic

Year:
2003
Language:
english
File:
PDF, 238 KB
english, 2003
11

Fregean logics

Year:
2004
Language:
english
File:
PDF, 636 KB
english, 2004
12

Books received

Year:
1990
Language:
english
File:
PDF, 1013 KB
english, 1990
13

Books received

Year:
1991
Language:
english
File:
PDF, 452 KB
english, 1991
14

Books received

Year:
1988
Language:
english
File:
PDF, 600 KB
english, 1988
15

Local deductions theorems

Year:
1986
Language:
english
File:
PDF, 891 KB
english, 1986
16

Books received

Year:
1986
Language:
english
File:
PDF, 581 KB
english, 1986
17

Books received

Year:
1992
Language:
english
File:
PDF, 752 KB
english, 1992
18

Books received

Year:
1990
Language:
english
File:
PDF, 734 KB
english, 1990
19

Books received

Year:
1987
Language:
english
File:
PDF, 198 KB
english, 1987
20

Books received

Year:
1991
Language:
english
File:
PDF, 1.01 MB
english, 1991
21

Algebraic aspects of deduction theorems

Year:
1985
Language:
english
File:
PDF, 1.10 MB
english, 1985
22

Filter distributive logics

Year:
1984
Language:
english
File:
PDF, 1.31 MB
english, 1984
23

Books received

Year:
1987
Language:
english
File:
PDF, 811 KB
english, 1987
24

Books received

Year:
1989
Language:
english
File:
PDF, 752 KB
english, 1989
25

A deduction theorem schema for deductive systems of propositional logics

Year:
1991
Language:
english
File:
PDF, 326 KB
english, 1991
26

Books received

Year:
1985
Language:
english
File:
PDF, 377 KB
english, 1985
27

Books received

Year:
1989
Language:
english
File:
PDF, 458 KB
english, 1989
28

Books received

Year:
1987
Language:
english
File:
PDF, 291 KB
english, 1987
29

Reduced products of logical matrices

Year:
1980
Language:
english
File:
PDF, 1.39 MB
english, 1980
30

Books received

Year:
1986
Language:
english
File:
PDF, 526 KB
english, 1986
31

Books received

Year:
1988
Language:
english
File:
PDF, 511 KB
english, 1988
32

Books received

Year:
1986
Language:
english
File:
PDF, 368 KB
english, 1986
33

Books received

Year:
1985
Language:
english
File:
PDF, 662 KB
english, 1985
34

Sentential logics and Maehara Interpolation Property

Year:
1985
Language:
english
File:
PDF, 1.03 MB
english, 1985
35

Books received

Year:
1990
Language:
english
File:
PDF, 986 KB
english, 1990
36

Equivalential logics (II)

Year:
1981
Language:
english
File:
PDF, 1.25 MB
english, 1981
37

Another proof thatISPr(K) is the least quasivariety containingK

Year:
1982
Language:
english
File:
PDF, 156 KB
english, 1982
38

Logical matrices and the amalgamation property

Year:
1982
Language:
english
File:
PDF, 794 KB
english, 1982
39

Partial Boolean algebras in a broader sense

Year:
1979
Language:
english
File:
PDF, 876 KB
english, 1979
40

Books received

Year:
1988
Language:
english
File:
PDF, 256 KB
english, 1988
41

Books received

Year:
1990
Language:
english
File:
PDF, 441 KB
english, 1990
42

A single quasi-identity for a quasivariety with the Fraser-Horn property

Year:
1992
Language:
english
File:
PDF, 286 KB
english, 1992
43

The parameterized local deduction theorem for quasivarieties of algebras and its application

Year:
1996
Language:
english
File:
PDF, 2.14 MB
english, 1996
44

Some theorems on structural entailment relations

Year:
1983
Language:
english
File:
PDF, 892 KB
english, 1983
45

Matrices, primitive satisfaction and finitely based logics

Year:
1983
Language:
english
File:
PDF, 1.15 MB
english, 1983
46

Logics based on partial Boolean σ-algebras (1)

Year:
1974
Language:
english
File:
PDF, 1.12 MB
english, 1974
47

Books received

Year:
1984
Language:
english
File:
PDF, 672 KB
english, 1984
48

Equivalential logics (I)

Year:
1981
Language:
english
File:
PDF, 645 KB
english, 1981
49

Books received

Year:
1989
Language:
english
File:
PDF, 613 KB
english, 1989
50

Fregean logics with the multiterm deduction theorem and their algebraization

Year:
2004
Language:
english
File:
PDF, 512 KB
english, 2004